Species selection guidelines in reforestation. Ruiz de la Torre’s contributions

Contributions à la sémantique de la programmation logique

This work can be split in two parts. First, we present a full formalisation of the semantics of de nite programs, in the calculus of inductive constructions. For this, we describe a formalisation of the proof of rst order terms uni cation obtained from a similar proof dealing with quasi-terms, thus showing in a general setting how partial functions can be considered in a system with total funct...

Contributions à la reconnaissance automatique de la parole non-native

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique

Contributions à la génération de tests à base de contraintes. (Contributions to Constraint-Based Testing)

Automatic test data generation leads to identify input values on which a selected point in a procedure is ex ecuted This paper introduces a new method for this problem based on constraint solving techniques First we statically transform a procedure into a constraint system by using well known Static Single Assignment form and control dependencies Second we solve this system to check whether at ...

Description de Hyalomma dromedarii (Koch 1844) Morphologie de la larve et de la nymphe